Seminal Research Articles in Programming Languages
نویسندگان
چکیده
The research articles listed here cover the period 1963 to the present. They are all important articles, and they are relevant to this offering of the course.
منابع مشابه
7 Program semantics and infinite regular terms
The communication by Gilles Kahn, Jean Vuillemin and myself at the second International Colloquium on Automata, Languages and Programming, held in Saarbrücken in 1974 is in French in the proceedings, and has not been published as a journal article. However, Todd Veldhuizen wrote in 2002 an English translation that is reproduced in the next chapter. À propos Chapter 8 It was quite a surprise for...
متن کاملBreakthroughs and Challenges in Software Engineering J.UCS Special Issue
In the seminal 1968 NATO Conference on Software Engineering, F.L. Bauer defined this term as " the establishment and use of sound engineering principles in order to obtain software that is reliable and works efficiently on real machines ". In the beginning, most proposals focused on programming languages and techniques , which are currently in a rather elaborate state. Later, the discipline exp...
متن کاملA Survey of Linear and Mixed-Integer Optimization Tutorials
A advanced undergraduate and graduate students in optimization begin conducting research, they must base their work on articles found in academic journals. However, there is often a gap between the levels at which a journal article and a textbook are written. Bridging that gap are tutorials on fundamental, yet advanced, concepts such as (i) algorithmic details of linear and mixed-integer optimi...
متن کاملSome Investigations in Fuzzy Automata Synopsis
Mathematical models in classical computation, automata have been an important area in theoretical computer science. It started from a seminal paper of Kleene, and within a few years developed into a rich mathematical research topic. From the very beginning finite automata constituted a core of computer science. Part of the reason is that they capture something very fundamental as is witnessed b...
متن کاملEvolution of a research field—a micro (RNA) example
Background. Every new scientific field can be traced back to a single, seminal publication. Therefore, a bibliometric analysis can yield significant insights into the history and potential future of a research field. This year marks 21 years since that first ground-breaking microRNA (miRNA) publication. Here, we make the case that the miRNA field is mature, utilising bibliometrics. Methods. Uti...
متن کامل